core drill

Noun
  1. a drill that removes a cylindrical core from the drill hole
core drill
A geologist uses a core drill to extract a sample from a rock formation.